(srcs): Add gpl.texi and doclicense.texi.

diff --git a/lispref/Makefile.in b/lispref/Makefile.in
index 77005b50c84434ed4cb0439bd97b9e4b3ec8c6d6..4619387f969e7d816eaae0c58307df8a61440b3a 100644 (file)
--- a/lispref/Makefile.in
+++ b/lispref/Makefile.in
@@ -83,7 +83,10 @@ srcs = \
   $(srcdir)/variables.texi \
   $(srcdir)/windows.texi \
   $(srcdir)/index.unperm \
-  $(srcdir)/index.perm
+  $(srcdir)/index.perm \
+  $(srcdir)/gpl.texi \
+  $(srcdir)/doclicense.texi
+
 
 .PHONY: clean